A Monotonicity Calculus and Its Completeness
نویسندگان
چکیده
One of the prominent mathematical features of natural language is the prevalence of “upward” and “downward” inferences involving determiners and other functional expressions. These inferences are associated with negative and positive polarity positions in syntax, and they also feature in computer implementations of textual entailment. Formal treatments of these phenomena began in the 1980’s and have been refined and expanded in the last 10 years. This paper takes a large step in the area by extending typed lambda calculus to the ordered setting. Not only does this provide a formal tool for reasoning about upward and downward inferences in natural language, it also applies to the analysis of monotonicity arguments in mathematics more generally.
منابع مشابه
A Complete Calculus of Monotone and Antitone Higher-Order Functions
It has long been recognized that many expressions in natural language can be thought of as monotone and antitone operators. If we take two preordered domains (P1,≤1) and (P2,≤2), then a function f : P1 → P2 is monotone if for all a, b ∈ P1, if a ≤1 b then f(a) ≤2 f(b). A function is antitone if a ≤1 b implies f(b) ≤2 f(a). A natural language example of a monotone operator is Some [ ] is nocturn...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملTetra-lateral completeness of Quranic language and its methodological output
This article has no abstract.
متن کاملON THE POWER FUNCTION OF THE LRT AGAINST ONE-SIDED AND TWO-SIDED ALTERNATIVES IN BIVARIATE NORMAL DISTRIBUTION
This paper addresses the problem of testing simple hypotheses about the mean of a bivariate normal distribution with identity covariance matrix against restricted alternatives. The LRTs and their power functions for such types of hypotheses are derived. Furthermore, through some elementary calculus, it is shown that the power function of the LRT satisfies certain monotonicity and symmetry p...
متن کاملA Complete Calculus for Max-SAT
Max-SAT is the problem of finding an assignment minimizing the number of unsatisfied clauses of a given CNF formula. We propose a resolution-like calculus for Max-SAT and prove its soundness and completeness. We also prove the completeness of some refinements of this calculus. From the completeness proof we derive an exact algorithm for Max-SAT and a time upper bound.
متن کامل